satisfiability procedure

可滿足性過程

熱門查詢

transmission　　n. 傳動(dòng)裝置，[機(jī)] 變速器；傳遞；傳送；播送
Aldous　　奧爾德斯（男子名）
misled　　v. 把…帶錯(cuò)方向（mislead的過去式）
unhinged　　adj. 精神錯(cuò)亂的
derby　　n. 德比（英國中部的都市）；德比賽馬；大賽馬
khaki　　n. 卡其色；卡其布 adj. 卡其色的；黃褐色的；卡其布做的 n. (Khaki)人名；(阿拉伯、格魯)哈基
top　　n. 頂部，頂端；上部；首席；陀螺 adj. 最高的，頂上的；頭等的 vt. 超越，超過；給…加蓋；達(dá)到…的頂端 vi. 高出，超越；結(jié)束；達(dá)到頂點(diǎn) n. (Top)人名；(英、土、意)托普
classifieds　　n. 分類廣告
PGC　　abbr. per gyro compass 按陀螺羅徑（航向）
guider　　n. 指導(dǎo)者；導(dǎo)星望遠(yuǎn)鏡；導(dǎo)向器
blamed　　v. 譴責(zé) adj. 混蛋的，該死的
hooliganism　　n. 流氓行為
plowed　　vi. [農(nóng)機(jī)] 犁；耕地；破浪前進(jìn)；開路 vt. [農(nóng)機(jī)] 犁；耕；開路 n. [農(nóng)機(jī)] 犁；似犁的工具；北斗七星
westernize　　vt. 使西洋化，使歐化
barefoot　　n. (Barefoot)人名；(英)貝爾富特 adj. 赤腳的 adv. 赤著腳地
sympathetic　　n. 交感神經(jīng)；容易感受的人 adj. 同情的；交感神經(jīng)的；共鳴的；贊同的；和諧的；合意的
Hoch　　[人名] 霍克; [地名] 高的（德語）
shelled　　adj. 帶殼的；去殼的 v. 使去殼（shell的過去分詞）
emigrant　　n. 移民；僑民 adj. 移民的；移居的
mythos　　n. 神話；主題